6 ideas
17813 | Löwenheim-Skolem says any theory with a true interpretation has a model in the natural numbers [White,NP] |
6007 | If you know your father, but don't recognise your father veiled, you know and don't know the same person [Eubulides, by Dancy,R] |
6006 | If you say truly that you are lying, you are lying [Eubulides, by Dancy,R] |
6008 | Removing one grain doesn't destroy a heap, so a heap can't be destroyed [Eubulides, by Dancy,R] |
17812 | Finite cardinalities don't need numbers as objects; numerical quantifiers will do [White,NP] |
15314 | Faraday's single field of variable forces introduces a criterion of Unity into what is ultimate [Faraday, by Harré/Madden] |